Formalizing preference utilitarianism in physical world models
نویسندگان
چکیده
منابع مشابه
Formalizing Preference Utilitarianism in Physical World Models
Most ethical work is done at a low level of formality. This makes practical moral questions inaccessible to formal and natural sciences and can lead to misunderstandings in ethical discussion. In this paper, we use Bayesian inference to introduce a formalization of preference utilitarianism in physical world models, specifically cellular automata. Even though our formalization is not immediatel...
متن کاملFormalizing Two Problems of Realistic World-Models
An intelligent agent embedded within the real world must reason about an environment which is larger than the agent, and learn how to achieve goals in that environment. We discuss attempts to formalize two problems: one of induction, where an agent must use sensory data to infer a universe which embeds (and computes) the agent, and one of interaction, where an agent must learn to achieve comple...
متن کاملMeasurement-Theoretic Foundations of Preference Aggregation Logic for Weighted Utilitarianism
Harsanyi [4, 5] develops expected utility theory of von Neumann and Morgenstern [21] to provide two formalizations of utilitarianism. Weymark [22, 23] refers to these results as Harsanyi’s Aggregation and Impartial Observer Theorems. In this paper, we are concerned only with Aggregation Theorem. Sen [6] argues that von Neumann-Morgenstern expected utility theory is an ordinal theory and, theref...
متن کاملFormalizing Physical Security Procedures
Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now increasingly expedited by computers, the problems of physical and social security are becoming t...
متن کاملFormalizing and Modeling the World
The word information derives from the Latin informare (in + formare), meaning to give form, shape, or character to. Etymologically, it is therefore understood to be the formative principle of something, or to imbue with some specific character or quality. However, for hundreds of years, the word information is used to signify knowledge and aspects of cognition such as meaning, instruction, comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2015
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-015-0883-1